61. Formal methods :
پدیدآورنده: Tiago Massoni, Mohammad Reza Mousavi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
62. Formal modeling and analysis of timed systems :
پدیدآورنده: David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
63. Full-text (substring) indexes in external memory /
پدیدآورنده: Marina Barsky, Ulrike Stege, Alex Thomo
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms,Data structures (Computer science),Magnetic memory (Computers),Text processing (Computer science)
رده :
QA76
.
9
.
T48
B37
2012
64. Functional Networks with Applications
پدیدآورنده: by Enrique Castillo, Angel Cobo, José Manuel Gutiérrez, Rosa Eva Pruneda.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer-aided design.,Data structures (Computer science).,Physics.
65. Genetic Algorithms + Data Structures = Evolution Programs
پدیدآورنده: by Zbigniew Michalewicz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Software engineering.
رده :
QA76
.
9
.
A43
B993
1994
66. Genetic algorithms + data structures = evolution programs
پدیدآورنده: Zbigniew Michalewicz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Computer programs.,Data structures (Computer science)
رده :
QA76
.
9
.
A43
Z354
1992
67. Genomics and Proteomics Engineering in Medicine and Biology
پدیدآورنده: Metin Akay Affiliation: Dartmouth College, USA
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
QH441
.
2
M485
2006
68. Geometric Modelling :
پدیدآورنده: edited by H. Hagen, G. Farin, H. Noltemeier.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra -- Data processing.,Computer science.,Data structures (Computer science)
رده :
QA565
.
E358
1995
69. Geometric structures of information /
پدیدآورنده: Frank Nielsen, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data structures (Computer science), Congresses.,Geometrical models in statistics, Congresses.,Geometry, Differential, Congresses.,Information theory in mathematics, Congresses.,Coding theory & cryptology.,Communications engineering-- telecommunications.,Data structures (Computer science),Geometrical models in statistics.,Geometry, Differential.,Information theory in mathematics.,MATHEMATICS-- Applied.,MATHEMATICS-- Geometry-- Differential.,MATHEMATICS-- Probability & Statistics-- General.,Numerical analysis.
رده :
QA276
.
23
G75
2019
70. Granular Computing
پدیدآورنده: by Andrzej Bargiela, Witold Pedrycz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.
71. Graph Drawing and Network Visualization :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics. ; Data structures (Computer science). ; Software engineering. ; Algorithm Analysis and Problem Complexity. ; -Algorithms. ; Application software. ; Computer graphics. ; Computer science
72. Grid Generation and Adaptive Algorithms
پدیدآورنده: edited by Marshall W. Bern, Joseph E. Flaherty, Mitchell Luskin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorics.,Computer software.,Mathematics.
73. Guide to discrete mathematics :
پدیدآورنده: Gerard O'Regan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.
رده :
QA76
.
9
.
M35
74. High Performance Computing Systems and Applications
پدیدآورنده: edited by Andrew Pollard, Douglas J.K. Mewhort, Donald F. Weaver.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Data structures (Computer science)
75. High Performance Computing Systems and Applications
پدیدآورنده: edited by Nikitas J. Dimopoulos, Kin F. Li.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science).,Information theory.
76. High Performance Computing in Science and Engineering '99
پدیدآورنده: edited by Egon Krause, Willi Jäger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Chemistry.,Computer science-- Mathematics.,Computer simulation.,Engineering.,Mathematical physics.,Mathematics.,Physics.
77. High Performance Networking :
پدیدآورنده: edited by Harmen R. As.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Data structures (Computer science)
رده :
TK5105
.
E358
1998
78. Information Retrieval
پدیدآورنده: by David A. Grossman, Ophir Frieder.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science).,Information storage and retrieval systems.
79. Information Technology -- New Generations :
پدیدآورنده: Shahram Latifi, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science, Congresses.,Electrical engineering.,Information technology, Congresses.,Algorithms & data structures.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electrical engineering.,Information retrieval.,Information technology.
رده :
QA75
.
5
80. Information and communications security :
پدیدآورنده: David Naccache [and 7 more] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security, Congresses.,Telecommunication systems-- Security measures, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer security.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Online Services-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,Telecommunication systems-- Security measures.
رده :
QA76
.
9
.
A25
